9

A kripke logical relation for effect-based program transformations

Year:
2011
Language:
english
File:
PDF, 688 KB
english, 2011